Interactive Systems Design, Specification, And Verification Doherty

Gavin Doherty (u. A.) | Interactive Systems Design, Specification,

Gavin Doherty; Ann Blandford / Interactive Systems. Design,

Specification And Seamless Verification Ofembedded Real-time Systems

Specification And Verification Of Multi-agent Systems 2832

Juan C. Torres (u. A.) | Design, Specification And Verification Of...

Architectural Design Conception And Specification Of Interactive

Peter Müller | Modular Specification And Verification Of

Maria Spichkova | Specification And Seamless Verification

Communication Protocol Specification And Verification 2333

Design And Verification Of Microprocessor Systems For

Specifications And Verifications Of Transactions In Mobile Environment

Rafat Alshorman (u. A.) | Specifications And Verifications Of

David S. Hardin | Design And Verification Of Microprocessor Systems

Protocol Specification, Testing And Verification Xiv Samuel T. Chanson

Mehdi Dastani (u. A.) | Specification And Verification Of Multi-agent